home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 4 / developer source - volume 4.iso / dbmsa / jul94 / thor11.gif < prev    next >
Graphics Interchange Format  |  1996-06-12  |  73KB  |  568x479  |  4-bit (16 colors)
Labels: text | electronics | screenshot | parallel | font | number | display | diagram | line
OCR: InfoModeler - [info University V1:001 Diagram Edit View InfoTools Maintenance Options Window Help Subject (code) is fulltime Instructor (id+) SubjectLevel+ ... is qualified to teach ... at ... has office at works for Edit Compile View Othe Department (code) has head office al Room Room 2 6de Instructor (id) has office at Room employees oche Instructor (id) is qualdied to teach Subject (cc + osslo Instructor (id) works for Department (code) 5 caso Department (code) is of DepartmentName 6 ocho Instructor (d) is fulltime Department has head office at (code) DepartmentName ." is of FIGURE 1 InfoModeler's Fact Compiler is a mechanism for entering informa- tion into the system. Each "fact" is a statement (written in Info- Modeler's FORML language) about an object that has a role in the system.